Provably Correct Control-Flow Graphs from Java Programs with Exceptions

We present an algorithm to extract flow graphs from Java bytecode, focusing on exceptional control flows. We prove its correctness, meaning that the behaviour of the extracted control-flow graph is an over-approximation of the behaviour of the original program. Thus any safety property that holds for the extracted control-flow graph also holds for the original program. This makes control-flow graphs suitable for performing different static analyses. For precision and efficiency, the extraction is performed in two phases. In the first phase the program is transformed into a BIR program, where BIR is a stack-less intermediate representation of Java bytecode; in the second phase the control-flow graph is extracted from the BIR representation. To prove the correctness of the two-phase extraction, we also define a direct extraction algorithm, whose correctness can be proven immediately. Then we show that the behaviour of the control-flow graph extracted via the intermediate representation is an over-approximation of the behaviour of the directly extracted graphs, and thus of the original program

Sistemas dunares do litoral de Esposende

Ciência Viva - A.N.C.C.T. (Programa Operacional Ciência Tecnologia Inovação - POCTI)Ministério da Ciência e da Tecnologia - Ciência Viva - Biologia no Verão 2001

Política e os meios de comunicação: o reflexo do poder do governo no carnaval carioca

Demonstra a relação de poder do governo sobre a mídia em determinados pontos da história do Brasil, e como esta dominação acaba refletindo na população. Quando este domínio acontece, a informação não chega de forma correta para o povo. Casos deste gênero serão mostrados, bem como a recepção da população em cada caso. Por isso, a maior festa popular do país, o carnaval, foi escolhida para servir de exemplo. Serão abordados os diferentes temas escolhidos como enredos das escolas durante a Era Vargas, o pós-Segunda Guerra Mundial e após a Ditadura Militar. Vão ser expostas as claras diferenças nas letras quando a mídia está submetida ao governo e quando a mesma está livre para fazer a sua principal atribuição, que é levar informação para a população. Com os meios de comunicação noticiando de forma correta, os sambas de enredo podem servir também de instrumento de conscientização do povo para o povo

Pancreatite aguda - critérios de prognóstico

Mestrado Integrado em MedicinaMaster Degree in Medicin

Pancreatitis as a severe complication of leptospirosis with fatal outcome: a case report

Leptospirosis is a globally distributed zoonosis with a broad clinical spectrum. This disease mostly affects liver and kidney tissues. Other organs such as the pancreas, can be affected by leptospirosis-induced vasculitis. In addition, cardiac manifestations are common, and the presence of transient ECG abnormalities can be found in 70% of the patients. We report a male patient who presented with an atypical leptospirosis that progressed with severe acute pancreatitis, acute kidney injury and atrial fibrillation. Early diagnosis and adequate supportive therapy are crucial for the appropriated management of symptoms

DOENÇA HEMANGIOMATOSA MÚLTIPLA ENVOLVENDO TRATO GASTROINTESTINAL: DESCRIÇÃO DE UM CASO CLÍNICO

Hemangiomas are a type of benign vascular tumor, originated from angiogenesis disorders and prevalent in approximately 4% to 5% of the population. Among the most common complications are: ulcerations and bleeding, in cases of those located in the gastrointestinal tract; impairment of airways and vision; visceral complications; obstruction of the ear canal causing deficit in hearing; or problems in eating or in the emission of sounds due to its presence in the oral cavity. Colon and rectum hemangiomas are a rare cause of lower digestive hemorrhage. The aim of this study is to demonstrate the case of multiple hemangiomatose disease in an inpatient undergoing treatment at the Palmas General Public Hospital (HGPP).Hemangioma é um tipo de tumor vascular benigno, originado a partir de distúrbios na angiogênese e está presente em cerca de 4% a 5% da população. Dentre as complicações mais comuns destacam-se: ulcerações e sangramentos, nos casos de hemangiomas localizados no trato gastrointestinal, comprometimento da via aérea e da visão, complicações viscerais, obstrução do canal auditivo e até déficit na alimentação ou na emissão de sons devido a sua presença na região da cavidade oral. O hemangioma de cólon e reto é uma causa rara de hemorragia digestiva baixa. O objetivo deste estudo é demonstrar um caso de doença hemangiomatosa múltipla em uma paciente internada e submetida a tratamento no Hospital Geral Público de Palmas (HGPP)

Social Comparison, Body Dissatisfaction and Eating Behavior in Young Adults

The purpose of this study was to compare social comparison behavior (CCS) among young adultsaccording to body dissatisfaction (IC) and inappropriate eating behavior (CAI). 563 individuals (276women) between 1 8 and 35 years of age took part in the study. Mann-Whitney U test was applied tocompare the CCS according to IC and CAI. We identified differences in social comparison behaviorbetween satisfied and dissatisfied groups, and between with and without inappropriate eating behaviorgroups, only among women. We conclude that social comparison behavior is associated with bodydissatisfaction and inappropriate eating behavior in women, which did not occur in men.O objetivo do presente estudo foi comparar o comportamento de comparação social (CCS) de jovensadultos, segundo a insatisfação corporal (IC) e o comportamento alimentar inadequado (CAI).Participaram 563 sujeitos (276 mulheres) entre 1 8 e 35 anos de idade. Teste U de Mann-Whitney foiutilizado para comparar os CCS segundo a IC e o CAI. Foi identificada diferença para oscomportamentos de comparação social entre o grupo de sujeitos satisfeitos e insatisfeitos, e também paraos grupos com e sem comportamentos alimentares inadequados, do sexo feminino. Conclui-se que ocomportamento de comparação social está associado à insatisfação corporal e aos comportamentosalimentares inadequados de mulheres, o mesmo não ocorrendo para os homens

Zonamento acústico em pequenos aglomerados urbanos

Com o presente artigo pretende-se realizar uma avaliação teórico/prática dos níveis de ruído produzidos pelo tráfego urbano num aglomerado de média dimensão situado no distrito da Guarda através de avaliações dos níveis sonoros contínuos equivalentes Ld, Le e Ln para as condições habituais de tráfego e ruídos residuais existentes no local, procedendo de seguida a uma avaliação das consequências práticas da aplicabilidade da Directiva Europeia 2002/49/CE e do Decreto-Lei nº 9/2007, de 17 de Janeiro.This paper presents a theoretical/practical analysis regarding the sound levels made by urban traffic within a medium size agglomeration in the Guarda district (Portugal) by in situ measurements of the continuous equivalent sound levels Ld, Le and Ln for the usual traffic conditions and residual sound levels. An avaliation of the practical consequences of the aplication of the European Union Directive 2002/49/CE and of the Portuguese decree-law 9/2007 of January 17